Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
91	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
92	A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-06-13 07:29:10 Nested word Finite state transducer Finite-state machine Büchi automaton Automata theory Theoretical computer science Computer science
93	Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:08 Applied mathematics Nondeterministic finite automaton Powerset construction Deterministic finite automaton Regular expression Finite-state machine Regular language Symbol String Automata theory Theoretical computer science Computer science
94	Models of Computation Lecture 3: Finite-State Machines [Fa’14] Caveat lector! This is the first edition of this lecture note. A few topics are missing, and there are almost certainly a few serious errors. Please send Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:05 Computer science DFA minimization Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science
95	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
96	Computing with Relational Machines G´erard Huet and Benoˆıt Razet INRIA Paris-Rocquencourt ICON’2008 Tutorial, Pune, DecemberAbstract. We give a quick presentation of the X-machines of Eilenberg, a generalisa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-12-14 19:37:35 Computer science Formal methods Deterministic finite automaton Nondeterministic finite automaton Finite-state machine X-machine Non-deterministic Turing machine Ω-automaton Finite state transducer Models of computation Automata theory Theoretical computer science
97	On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday. Add to Reading List Source URL: markburgess.org Language: English - Date: 2014-12-18 08:35:34 Finite-state machine Computing Mathematics Deterministic pushdown automaton Automata theory Models of computation Nondeterministic finite automaton
98	Automated Email Activity Management: An Unsupervised Learning Approach Nicholas Kushmerick Tessa Lau Add to Reading List Source URL: tlau.org Language: English - Date: 2004-11-22 11:10:35 Internet Phase transition Finite-state machine RSA Physics Email Computing Models of computation
99	Research internship (Master M2) Title Verification of concurrent systems with data structures Description Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-11-20 05:22:25 Verification Finite-state machine Models of computation Automata theory Systems engineering
100	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games

UPDATE